منابع مشابه
Splitting a efault Theory
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by “splitting it into parts.” These so-called Splitting Theorems for default logic are related in spirit to “partial evaluation” in logic programming, in which results obtained from one part of a program are used to simplify the remainder of the program. In this paper we...
متن کاملSplitting a Default Theory
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Splitting Theorems for default logic are related in spirit to \partial evaluation" in logic programming, in which results obtained from one part of a program are used to simplify the remainder of the program. In this paper we...
متن کاملInseparable Local Uniformization
The aim of this paper is to prove that an algebraic variety over a field can be desingularized locally along a valuation after a purely inseparable alteration. Zariski was first to study the problem of desingularizing algebraic varieties along valuations. He called this problem local uniformization of valuations and observed that it should be considered as the local part of the desingularizatio...
متن کاملSplitting Supersymmetry in String Theory
We point out that type I string theory in the presence of internal magnetic fields provides a concrete realization of split supersymmetry. To lowest order, gauginos are massless while squarks and sleptons are superheavy. We build such realistic U(3) × U(2) × U(1) models on stacks of magnetized D9-branes. Though not unified into a simple group, these theories preserve the successful supersymmetr...
متن کاملPerception and action are inseparable
In her target article, Michaels defines action as “a temporally bounded, observable, goaldirected movement (or non-movement) that entails intention, the detection of information, and a lawful relation between that information and the movement”. She defines perception as “the detection of information”. This forces one to conclude that it is impossible to study action separately from perception. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1971
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1971-0284421-2